Nuprl Definition : mapcons
2,24
postcript
pdf
mapcons(
f
;
as
) == Case of
as
; nil
nil ;
a
.
as'
, rec:
(
f
(
a
,
as'
)).mapcons(
f
;
as'
)
(recursive)
latex
Definitions
Y
FDL editor aliases
mapcons
origin
nil ; a.as', rec: (f(a,as')).mapcons(f;as') (recursive) nil ; a.as', rec: (f(a,as')).mapcons(f;as') (recursive)